The reverse mathematics of non-decreasing subsequences
نویسنده
چکیده
Every function over the natural numbers has an infinite subdomain on which the function is non-decreasing. Motivated by a question of Dzhafarov and Schweber, we study the reverse mathematics of variants of this statement. It turns out that this statement restricted to computably bounded functions is computationally weak and does not imply the existence of the halting set. On the other hand, we prove that it is not a consequence of Ramsey’s theorem for pairs. This statement can therefore be seen as an arguably natural principle between the arithmetic comprehension axiom and stable Ramsey’s theorem for pairs.
منابع مشابه
Enumerating rc-Invariant Permutations with No Long Decreasing Subsequences∗
We use the Robinson-Schensted-Knuth correspondence and Schützenberger’s evacuation of standard tableaux to enumerate permutations and involutions which are invariant under the reverse-complement map and which have no decreasing subsequences of length k. These enumerations are in terms of numbers of permutations with no decreasing subsequences of length approximately k2 ; we use known results co...
متن کاملIncreasing and Decreasing Subsequences and Their Variants
We survey the theory of increasing and decreasing subsequences of permutations. Enumeration problems in this area are closely related to the RSK algorithm. The asymptotic behavior of the expected value of the length is(w) of the longest increasing subsequence of a permutation w of 1, 2, . . . , n was obtained by Vershik-Kerov and (almost) by Logan-Shepp. The entire limiting distribution of is(w...
متن کاملIncreasing Subsequences in Nonuniform Random Permutations
Connections between longest increasing subsequences in random permutations and eigenvalues of random matrices with complex entries have been intensely studied. This note applies properties of random elements of the finite general linear group to obtain results about the longest increasing and decreasing subsequences in non-uniform random permutations.
متن کاملMHD Jeffrey NanoFluids Flow Over a Stretching Sheet Through a Porous Medium in Presence of Nonlinear Thermal Radiation and Heat Generation/Absorption
In this article, a numerical investigation of magnetohydrodynamic non-Newtonian nanofluid flow on a stretching sheet through an isotropic porous medium. The effects of both non-linear thermal radiation and heat generation/absorption were studied on distributions of velocity, temperature and concentration. On the other side, the governing partial differential equations have been transformed by u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 56 شماره
صفحات -
تاریخ انتشار 2017